I insist that I was able to raise my hand, and I acknowledge that a law would have been broken had I done so, but I deny that I am therefore able to break a law. To uphold my instance of soft determinism, I need not claim any incredible powers. To uphold the compatibilism that I actually believe, I need not claim that such powers are even possible. My incompatibilist opponent is a creature of fiction, but he has his prototypes (...) in real life. He is modeled partly after Peter van Inwagen and partly on myself when I first worried about van Inwagen's argument against compatibilism. (shrink)

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

David Hume fancied himself the Newton of the mind, aiming to reinvent the study of human mental life in the same way that Newton had revolutionized physics. And it was his view that the novel account of belief he proposed in his Treatise of Human Nature was one of that work’s central philosophical contributions. From the earliest responses to the Treatise forward, however, there was deep pessimism about the prospects for his account. It is easy to understand the source (...) of this pessimism: The constraints he employed in theorizing stem from his Newtonian ambitions. Constraints such as his copy principle and his decision to rely only on variations in “force and vivacity” for differentiating types of mental states severely limit his available explanatory resources. However, it is one thing to regard an account as untenable, and quite another to understand where it fails. In this paper, I focus on one long-standing objection to Hume’s account — the objection that Hume cannot offer an account of negative belief or denial — as presented by Hume’s contemporary Thomas Reid, as well as more recently by Barry Stroud, and defend Hume from this objection. I argue that Hume both should and does endorse an account of negative belief based in relations of contrariety between contents, rather than between mental activities, and survey the different options available to Hume for spelling out an account of contrary contents. (shrink)

The goal of this paper is show how an initially appealing objection to David Hume's account of judgment can only be put forward by philosophers who accept an account of judgment that has its own sizable share of problems. To demonstrate this, I situate the views of John Locke, David Hume, and Thomas Reid with respect to each other, so as to illustrate how the appealing objection is linked to unappealing features of Locke's account of judgment.

Philosophers have routinely taken a pessimistic view of the account of cognition offered by David Hume in his Treatise of Human Nature, claiming that Hume's limited explanatory resources cannot capture the rich complexity of our thought, judgment, and reasoning. I provide a qualified defense of Hume's attempt to analyze a cognitive activity in terms of objectual conception, ie conceiving or imagining an object. I defend Hume from objections offered by his contemporary Thomas Reid (and echoed by various recent Hume (...) scholars), presenting an interpretation of the account that resolves these worries. (shrink)

This volume explores the versatility of the concept of pneuma in philosophical and medical theories in the wake of Aristotle’s physics. It offers fourteen separate studies of how the concept of pneuma was used in a range of physical, physiological, psychological, cosmological and ethical inquiries. The focus is on individual thinkers or traditions and the specific questions they sought to address, including early Peripatetic sources, the Stoics, the major Hellenistic medical traditions, Galen, as well as Proclus in Late Antiquity and (...) John Zacharias Aktouarios in the early 14th century. Building on new scholarly approaches and on recent advancements in our understanding of Graeco-Roman philosophy and medicine, the volume prompts a profound re-evaluation of this fluid and adaptable, but crucially important, substance, in antiquity and beyond. (shrink)

I offer two potential diagnoses of the behavioral norms governing post‐truth politics by comparing the view of language, communication, and truth‐telling put forward by David Lewis (extended by game theorists), and John Searle. My first goal is to specify the different ways in which Lewis, and game theorists more generally, in contrast to Searle (in the company of Paul Grice and Jurgen Habermas), go about explaining the normativity of truthfulness within a linguistic community. The main difference is that for (...) Lewis and game theorists, “truthful” signaling follows from an align- ment of interests, and deception follows from mixed motives leading to the calculation that sending false information is better for oneself. Following in the Enlightenment tradition, Searle argues that practical reasoning, which involves mastery of at least one language, requires that actors intend to communicate. This intention includes constraining the content of statements to uphold veracity conditions. After distinguishing between these two accounts, I will artic- ulate the implications for explaining, and even informing actions, constitutive of post‐truth politics. I argue that the strategic view of communication is suffi- cient neither to model everyday conversation nor to reflect a public sphere useful for democratic govern- ment. Both the pedagogy of strategic communication as cheap talk, and its concordance with new digital information technologies, challenge norms of truthful- ness that underlie modern institutions essential to an effective public sphere. (shrink)

The theory of possible worlds has permeated analytic philosophy in recent decades, and its best versions have a consequence which has gone largely unnoticed: in addition to the panoply of possible worlds, there are a great many impossible worlds. A uniform ontological method alone should bring the friends of possible worlds to adopt impossible worlds, I argue, but the theory's applications also provide strong incentives. In particular, the theory facilitates an account of counterfactuals which avoids several of the implausible results (...) of David Lewis's account, and it paves the way for the analogues of Kripkean semantics for epistemic and relevant logics. On the theories of possible worlds as abstract objects, worlds bear a strong resemblance to propositions. I contend that if there are distinct necessarily false propositions, then there are likewise distinct impossible worlds. However, one who regards possible worlds as concrete objects must not recognize impossible worlds, in part because concrete worlds cannot misrepresent certain features of reality, as some impossible worlds must. Accordingly, I defend and develop a theory of impossible worlds as maximal impossible states of affairs. Impossible worlds perform admirably in the analysis of counterfactuals with impossible antecedents. I argue that, contrary to standard accounts, not all counterpossibles are trivially true, and I develop a Lewis-style semantics which allows this result. The point is crucial, since many views presuppose that some counterpossibles are substantive philosophical truths. Finally, I show that impossible worlds hold great promise for doxastic and relevant logics. Epistemic logic needs a domain of propositions which is not closed under strict implication to avoid the problem of logical omniscience, and relevant logic needs such a domain to avoid the famous paradoxes of implication. In sum, impossible world theory promises natural, elegant solutions to philosophical problems in numerous areas where possible worlds alone flounder. These solutions come to most possible world theorists at no cost, since the existence of impossible worlds is entailed by theses they already hold. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

First part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the introduction and the first two sections of the original paper. || Primera parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a la introducción y las dos primeras secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

To the extent that dualism is even taken to be a serious option in contemporary discussions of personal identity and the philosophy of mind, it is almost exclusively either Cartesian dualism or property dualism that is considered. The more traditional dualism defended by Aristotelians and Thomists, what I call hylemorphic dualism, has only received scattered attention. In this essay I set out the main lines of the hylemorphic dualist position, with particular reference to personal identity. First I argue that overemphasis (...) of the problem of consciousness has had an unhealthy effect on recent debate, claiming instead that we should emphasize the concept of form. Then I bring in the concept of identity by means of the notion of substantial form. I continue by analyzing the relation between form and matter, defending the traditional theses of prime matter and of the unicity of substantial form. I then argue for the immateriality of the substantial form of the human person, viz. the soul, from an account of the human intellect. From this follows the soul's essential independence of matter. Finally, although the soul is the immaterial bearer of personal identity, that identity is still the identity of an essentially embodied being. I explain how these ideas are to be reconciled. Footnotesa I am grateful to Stephen Braude, John Cottingham, John Haldane, David Jehle, Joel Katzav, Eduardo Ortiz, and Fred Sommers for helpful comments and discussion of a draft of this essay. I would also like to thank Ellen Paul, whose suggestions have helped greatly to improve the essay's style and content. (shrink)

I suspect the answer to the question in the title of this paper is no. But the scope of my paper will be considerably more limited: I will be concerned with whether certain types of considerations that are commonly cited in favor of dynamic semantics do in fact push us towards a dynamic semantics. Ultimately, I will argue that the evidence points to a dynamics of discourse that is best treated pragmatically, rather than as part of the semantics.

Corruptionism is the view that following physical death, the human being ceases to exist but their soul persists in the afterlife. Survivalism holds that both the human being and their soul persist in the afterlife, as distinct entities, with the soul constituting the human. Each position has its defenders, most of whom appeal both to metaphysical considerations and to the authority of St Thomas Aquinas. Corruptionists claim that survivalism violates a basic principle of any plausible mereology, while survivalists tend to (...) reject the principle, though without as much detail as one would like. In this paper I examine both the key exegetical issues and the mereological question, arguing that Aquinas cannot be shown to have supported the principle in question, and that the principle should be rejected on independent grounds. If correct, some key planks in support of survivalism are established, with others to await further examination. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

There is a tension between the reasonable desire not to be judgmental of other people’s behaviour or character, and the moral necessity of making negative judgments in some cases. I sketch a way in which we might accommodate both, via an evaluation of the good of reputation and the ethics of judgment of other people’s character and behaviour. I argue that a good reputation is a highly valuable good for its bearer, akin to a property right, and not to be (...) damaged without serious reason deriving from the demands of justice and the common welfare. Rash judgment wrongfully damages reputation and is sometimes a seriously immoral act. Rashness is not merely about lack of evidence, but involves lack of charity and is to be avoided even in some cases where the evidence of bad character or action is epistemically sufficient for judgment. I argue that the desirability of a good name for its holder, whether the reputation is deserved or not, means that in all but a relatively narrow range of cases it is always wrong to think badly of someone, even if they are bad. (shrink)

This paper argues that the reading of Althusser which finds a pronounced continuity in his conception of the relations among science, philosophy, and politics is the correct one, this essay will begin with an examination of Althusser’s “scientism.” The meaning of this term (one that differs slightly from contemporary usages) will be specified before showing how and in what way Althusser’s political philosophy between 1960 and 1980 can be described as “scientistic.” The next section details the important political role Althusser (...) assigned to the sciences and particularly to the science of historical materialism during this period. This accomplished, the arguments of interpreters who emphasize the apparent difference in Althusser’s attitude towards science before and after 1980 will be considered. Here, possible reasons for such a reading will be rehearsed. Next, with the support of recently published and archival documents, this essay will engage in a close and comparative reading of Althusser’s texts from the 1970s and 1980s that have as their subject the relations among philosophy, science, and politics. This survey will show the continuity in Althusser’s position vis-à-vis the sciences: namely, that if we want good (i.e. desired) socio-politico-economic changes to result from our political actions, then it is necessary to engage in social scientific research or, at the very least, to consult such research and to use this knowledge in our political decision making. All this serves to support the conclusion that Althusser’s “new” political philosophy from the 1980s is not really so new. On the contrary, his writings on the materialism of the encounter and aleatory materialism represent prolongations and elaborations of positions and ideas already developed in the 1960s and 1970s and that include a mostly consistent understanding of the relations between scientific knowledge and political action. This is true even if the rhetorical and philosophical style in which these ideas are put forth in the 1980s differs from the ways in which these ideas were introduced during the prior two decades. (shrink)

The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper I explain (...) how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

This paper explores Kant’s account of propositional content and its implications for the relationship between his notions of knowledge (Wissen) and cognition (Erkenntnis). While previous commentators commonly read Kant as holding a Fregean theory of propositional content, in this paper I argue that Kant’s theory of propositional content aligns more closely with Peter Hanks’ recent account. According to my reading, Kant holds that individual acts of judging are both ontologically and explanatorily prior to propositions or Kantian judgments (Urteil). Furthermore, on (...) my reading, acts of judging for Kant are acts of assertively predicating a property of an object rather than merely acts of neutral predication. This reading challenges the lately popular view that Kant’s notions of knowledge and cognition are not only distinct but also disjunct. I instead suggest that we should regard Kantian knowledge that requires cognitions as its grounds as a species of Kantian cognitions. (shrink)

This essay examines the development of Reformed treatments of the affections in the period of early orthodoxy (ca. 1565-1640). I argue that discussion of the affections during this period grew within the broad framework of the Aristotelian psychology and certain polemical concerns initially established by early Reformed theologians. With the advent of Protestant universities and academies, Reformed ethicists and theologians treated the affections in greater detail, with a majority drawing on a generally Thomistic approach to the nature and division of (...) the affections, although not without a dissenting Scotistic minority. (shrink)

In the first Critique, Kant famously holds a novel practical notion of Belief (Glauben) as assent justified not by evidence but by practical considerations. This paper examines the early development of Kant’s practical notion of Belief prior to the first Critique. It aims to make clear what prompted Kant to develop this notion in the first place, and how this notion came to assume its crucial role in Kant’s critical system. This development, I argue, has two main steps. The first (...) is his introduction of a practical notion of Belief in mid-to-late 1760s. I argue that he did so because he regards this notion as a useful tool to get ordinary people to justifiably commit to the existence of God and an after-life. The second step is Kant’s abandonment of the objective validity of his logical proof of God around 1772. This step elevated Belief from a merely useful means to the only justified way to commit to the existence of God and an after-life. This second step, I argue, is closely connected to Kant’s pivot to the view that the objective validity of concepts requires sensibly given objects, and it is motivated by Kant’s concern with subject-cancelling real repugnance. (shrink)

In this paper, I aim to explore Lewis’s best system analysis and how it can accommodate laws with exceptions. The Best System Account has been introduced to provide an alternative view for both minimalist and counterfactual theories of regularities. Simple regularity theory faces problems in which there is some generalization that seems to be a law or some regularities that are established accidentally. It tries to exclude the accidental generalization from the account. However, the best system analysis can solve the (...) problem of how to distinguish between laws and accidents. (shrink)

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, define four (...) criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

There is a tension between John Locke’s awareness of the fundamental importance of a shared public language and the manner in which his theorizing appears limited to offering a psychologistic account of the idiolects of individual speakers. I argue that a correct understanding of Locke’s central notion of signification can resolve this tension. I start by examining a long standing objection to Locke’s view, according to which his theory of meaning systematically gets the subject matter of our discourse wrong, by (...) making our ideas the meanings of our words. By examining Locke’s definition of “truth”, I show that Lockean signification is an expression relation, rather than a descriptive or referential relation. Consequently, the sense in which our words signify our ideas is roughly that our utterances advertise our otherwise undisclosed mental lives to each other. While this resolves one aspect of the public/private tension, I close with a brief discussion of the remaining tension, and the role for normative constraints on signification to play in generating a genuinely shared public language. (shrink)

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states (...) of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

Musical works change. Bruckner revised his Eighth Symphony. Ella Fitzgerald and many other artists have made it acceptable to sing the jazz standard “All the Things You Are” without its original verse. If we accept that musical works genuinely change in these ways, a puzzle arises: why can’t I change Bruckner’s Eighth Symphony? More generally, why are some individuals in a privileged position when it comes to changing musical works and other artifacts, such as novels, films, and games? I give (...) a view of musical works that helps to answer these questions. Musical works, on this view, are created abstract objects with no parts. The paradigmatic changes that musical works undergo are socially determined normative changes in how they should be performed. Due to contingent social practices, Bruckner, but not I, can change how his symphony should be performed. Were social practices radically different, I would be able to change his symphony. This view extends to abstract artifacts beyond music, including novels, films, words, games, and corporations. (shrink)

Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both these forms of reasoning has, until now, been lacking. We offer a solution in the form of (structural) causal games, which can be seen as extending Pearl's causal hierarchy to the game-theoretic domain, or as extending Koller and Milch's multi-agent influence diagrams to the causal domain. We then consider three (...) key questions: i) How can the (causal) dependencies in games - either between variables, or between strategies - be modelled in a uniform, principled manner? ii) How may causal queries be computed in causal games, and what assumptions does this require? iii) How do causal games compare to existing formalisms? To address question i), we introduce mechanised games, which encode dependencies between agents' decision rules and the distributions governing the game. In response to question ii), we present definitions of predictions, interventions, and counterfactuals, and discuss the assumptions required for each. Regarding question iii), we describe correspondences between causal games and other formalisms, and explain how causal games can be used to answer queries that other causal or game-theoretic models do not support. Finally, we highlight possible applications of causal games, aided by an extensive open-source Python library. (shrink)

In an unpublished speech from 1991, David Lewis told his audience that he counted ‘the metaphysician Carnap ’ amongst his historical ancestors. Here I provide a novel interpretation of the Aufbau that allows us to make sense of Lewis’s claim. Drawing upon Lewis’s correspondence, I argue it was the Carnap of the Aufbau whom Lewis read as a metaphysician, because Carnap’s appeal to the notion of founded relations in the Aufbau echoes Lewis’s own appeal to the metaphysics of natural (...) properties. I further maintain that Lewis was right to read Carnap this way and that the notion of a founded relation has a legitimate claim to be both logical and metaphysical. I also argue that Carnap’s initial response to Goodman’s puzzle about ‘grue’ relies upon a metaphysics of simple properties which also prefigures Lewis’s own response to Goodman invoking natural properties. (shrink)

Hylomorphists hold that substances are, in some sense, composites of matter and form. The form of a substance is typically taken to play a fundamental role in determining the unity or identity of the whole. Staunch hylomorphists think that this role is of a kind that precludes the ontological reduction of form to the physical and thus take their position to be inconsistent with physicalism. Forms, according to staunch hylomorphism, play a fundamental role in grounding their bearers’ proper parts and (...) that, it seems, rules out the physical grounding of form itself. I shall develop a physicalist version of hylomorphism that treats form as geometric structure and which, I shall argue, entails many of the central theses endorsed by staunch hylomorphists. Based on Shoemaker’s notion of conditional powers, I shall argue that the geometric structures of complex wholes are the conditions on at least some of the conditional powers of their bearers’ proper parts, transforming those powers into powers simpliciter. Thus, forms play a fundamental role in the dynamical evolution of the physical world, but without bestowing causal powers themselves and hence without violating the causal closure of the physical domain. If a substance’s proper parts are taken to be individuated by their powers simpliciter, then they derive their identities from their places in the substantial whole, which thus determines the identities of its proper parts without changing their intrinsic natures. (shrink)

The notion of understanding occupies an increasingly prominent place in contemporary epistemology, philosophy of science, and moral theory. A central and ongoing debate about the nature of understanding is how it relates to the truth. In a series of influential contributions, Catherine Elgin has used a variety of familiar motivations for antirealism in philosophy of science to defend a non- factive theory of understanding. Key to her position are: (i) the fact that false theories can contribute to the upwards trajectory (...) of scientific understanding, and (ii) the essential role of inaccurate idealisations in scientific research. Using Elgin’s arguments as a foil, I show that a strictly factive theory of understanding has resources with which to offer a unified response to both the problem of idealisations and the role of false theories in the upwards trajectory of scientific understanding. Hence, strictly factive theories of understanding are viable notwithstanding these forceful criticisms. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

David Lewis’s arguments against magical ersatzism are notoriously puzzling. Untangling different strands in those arguments is useful for bringing out what he thought was wrong with not just one style of theory about possible worlds, but with much of the contemporary metaphysics of abstract objects. After setting out what I take Lewis’s arguments to be and how best to resist them, I consider the application of those arguments to general theories of properties and relations. The constraints Lewis motivates turn (...) out to yield an argument for concretism about possible individuals that is quite different from the better-known Lewisian arguments for that position. The discussion also touches on the puzzling question of whether things are the way they are because of the properties they have, or are the properties and relations the way they are because of the things that have them. (shrink)

David Lewis defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with a separate (...) mental life. I then offer an easy repair, which preserves the virtues of Lewis's definition without introducing any new vices. (shrink)

Reid argues that Hume’s claim that justice is an artificial virtue is inconsistent with the fact that gratitude is a natural sentiment. This chapter shows that Reid’s argument succeeds only given a philosophy of mind and action that Hume rejects. Among other things, Reid assumes that one can conceive of one of a pair of contradictories only if one can conceive of the other—a claim that Hume denies. So, in the case of justice, the disagreement between Hume and Reid is, (...) at bottom, a disagreement over their respective conceptions of how the human mind works at its most fundamental level. (shrink)

While the early Confucians were largely content to maintain the rituals of ancient kings as the core of moral education in their time, it is not obvious that contemporary humans could, or should, draw from the particulars of such a tradition. Indeed, even if one takes ritual seriously as a tool for cultivation, there remains a question of how to design moral education programs incorporating ritual. This essay examines impediments faced by a ritualized approach to moral education, how they might (...) be overcome, and how a ritual method could be developed in modernity. I contend that a Confucian notion of ritual, particularly as elaborated in the Xunzi, is both compatible with modern moral education and capable of making a distinct contribution to moral education in terms of how rituals can be used to structure and inculcate a shared climate of respect and humaneness both in- and outside the classroom. Specifically, the ritual education method includes emphases on inculcating moral fluency via symbolic practices and distinctions, training and appropriately associating promoral dispositions, enhancing moral imagination, and developing awareness of other minds. The model is thus a multifaceted approach to moral education through (meta)cognitive development. (shrink)

Two primary roles for propositions are to be i) the objects of the attitudes (especially belief) and ii) the primary bearers of truth and falsity. Interpreters of John Locke are in very broad agreement that propositions, as he presents them, serve this second role. However, whether Locke’s propositions can be said to serve the first role is a more difficult question, as Locke was frequently regarded as having overlooked the force/content distinction, meaning that many interpreters regard him as taking the (...) propositions not to be the objects of the attitudes, but instead, to be identical to the attitudes themselves. In this paper, I present the basics of Locke’s accounts of propositions, truth, and judgment. I then explain the interpretive divide between those scholars who interpret Locke as offering a more philosophically appealing proto-Fregean account of propositions (one which does recognize the force/content distinction), and those who defend the philosophically less satisfying account which identifies propositions with judgments on textual grounds. Finally, I defend the conflation account against one of it’s largest philosophical challenges, by showing how that view can address the Frege-Geach problem. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

In this paper, I argue for what I call the extended existential passage hypothesis, which entails, for example, that even if reality contains nothing supernatural and if property dualism is true, then death is not the end of a person’s stream of consciousness, that is, a person’s stream of consciousness continues at the moment of death, devoid of his or her memories and personality traits, as the stream of consciousness of another person (or another being) who is conceived and gains (...) consciousness. I articulate two requirements of rational choice that follow from that hypothesis. (shrink)

Many writers have held that in his later work, David Lewis adopted a theory of predicate meaning such that the meaning of a predicate is the most natural property that is (mostly) consistent with the way the predicate is used. That orthodox interpretation is shared by both supporters and critics of Lewis's theory of meaning, but it has recently been strongly criticised by Wolfgang Schwarz. In this paper, I accept many of Schwarze's criticisms of the orthodox interpretation, and add (...) some more. But I also argue that the orthodox interpretation has a grain of truth in it, and seeing that helps us appreciate the strength of Lewis's late theory of meaning. (shrink)

Evaluativism is best thought of as a way of enriching a perceptual view of pain to account for pain’s unpleasantness or painfulness. Once it was common for philosophers to contrast pains with perceptual experiences (McGinn 1982; Rorty 1980). It was thought that perceptual experiences were intentional (or content-bearing, or about something), whereas pains were representationally blank. But today many of us reject this contrast. For us, your having a pain in your toe is a matter not of your sensing “pain-ly” (...) or encountering a sense-datum, but of your having an interoceptive experience representing (accurately or inaccurately) that your toe is in a particular experience-independent condition, such as undergoing a certain “disturbance” or being damaged or in danger (Armstrong 1962; Tye 1995). But even if such representational content makes an experience a pain, a further ingredient seems required to make the pain unpleasant. According to evaluativism, the further ingredient is the experience’s possession of evaluative content: its representing the bodily condition as bad for the subject. In this chapter, I elaborate evaluativism, locate it among alternatives, and explain its attractions and challenges. (shrink)

Lady Mary Shepherd holds that the relation of cause and effect consists of the combination of two objects to create a third object. She also holds that this account implies that causes are synchronous with their effects. There is a single instant in which the objects that are causes combine to create the object which is their effect. Hume argues that cause and effect cannot be synchronous because if they were then the entire chain of successive causes and effects would (...) all collapse into a single moment, and succession would not be possible. I argue that Shepherd has a ready, although implicit response, to Hume’s argument. Since causation is combination on Shepherd’s view, she is free to hold that there are times in between those instants in which combinations occur, during which times other, non-combinatory changes occur, which changes account for succession. (shrink)

This paper develops and motivates a unification theory of metaphysical explanation, or as I will call it, Metaphysical Unificationism. The theory’s main inspiration is the unification account of scientific explanation, according to which explanatoriness is a holistic feature of theories that derive a large number of explananda from a meager set of explanantia, using a small number of argument patterns. In developing Metaphysical Unificationism, I will point out that it has a number of interesting consequences. The view offers a novel (...) conception of metaphysical explanation that doesn’t rely on the notion of a “determinative” or “explanatory” relation; it allows us to draw a principled distinction between metaphysical and scientific explanations; it implies that naturalness and fundamentality are distinct but intimately related notions; and perhaps most importantly, it re-establishes the unduly neglected link between explanation and understanding in the metaphysical realm. A number of objections can be raised against the view, but I will argue that none of these is conclusive. The upshot is that Metaphysical Unificationism provides a powerful and hitherto overlooked alternative to extant theories of metaphysical explanation. (shrink)

Responding rationally to the information that others disagree with one’s beliefs requires assessing the epistemic credentials of the opposing beliefs. Conciliatory accounts of disagreement flow in part from holding that these assessments must be independent from one’s own initial reasoning on the disputed matter. I argue that this claim, properly understood, does not have the untoward consequences some have worried about. Moreover, some of the difficulties it does engender must be faced by many less conciliatory accounts of disagreement.

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The question to (...) be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)

The Quality of Thought develops and defends the thesis that thinking is a kind of experience, characterized by a sui generis (“cognitive”) phenomenology, determinates of which are thought contents—what I call the phenomenal intentionality of thought thesis. It draws out the implications of this thesis for issues in philosophy of mind, philosophy of language and metaphysics. The view defended is radically internalist and intensionalist, and thus goes against received doctrines in philosophy of mind (externalism) and language (extensionalism). It also advocates (...) for a metaphysically neutral, non-naturalistic approach to the philosophical study of mind—what I call “Analytic Phenomenology”—in combination with agnosticism about the nature of the relationship between consciousness and physical reality. -/- The book identifies persistent problems with Dretske-inspired causal-informational-teleological theories of conceptual content, and diagnoses them as due to leaving out what it’s like to think a thought—to entertain or grasp a propositional (conceptual) content. It is thus a contribution to the increasingly influential Phenomenal Intentionality Research Program. It includes refutations of classic externalism (Putnam and Burge) and arguments that standard motivations for direct reference theories of names (Kripke), indexicals and demonstratives (Kaplan) are not inevitable, and alternative accounts of their (and their conceptual equivalents’) semantics. It also addresses outstanding challenges to the phenomenal intentionalist view of thought content, including the existence of unconscious thought, the elusiveness of conceptual phenomenology, the matching content problem, phenomenal compositionality, and the determination of conceptual reference. (shrink)

Does it count against a normative theory in political philosophy that it is in some important sense infeasible, that its prescriptions are unlikely to be complied with? Though a positive answer seems plausible, it has proved hard to defend against the claim that this is not how normative theories work - noncompliance shows a problem with the noncomplying agents, not with the normative theory. I think that this line of thought - this defense of Utopianism - wins the battle but (...) loses the war. It’s right about what does and what does not refute a normative theory. It’s wrong in misidentifying the problem. The right way to think about the feasibility worry is as essentially involving multiple agents, and how expected noncompliance by one agent may refute a normative claim addressed at another. Thus understood, feasibility problems may very well refute a theory in political philosophy. In this paper I develop this understanding of the feasibility worry, tie it to more general discussions in normative ethics, and in political philosophy. (shrink)

Paul Feyerabend argued that theories can be faced with experimental anomalies whose refuting character can only be recognized by developing alternatives to the theory. The alternate theory must explain the experimental results without contrivance and it must also be supported by independent evidence. I show that the situation described by Feyerabend arises again and again in experiments or observations that test the postulates in the standard cosmological model relating to dark matter. The alternate theory is Milgrom’s modified dynamics. I discuss (...) three examples: the failure to detect dark-matter particles in laboratory experiments; the lack of evidence for dark-matter sub-haloes and the dwarf galaxies that are postulated to inhabit them; and the failure to confirm the predicted orbital decay of Milky Way satellite galaxies and other systems due to dynamical friction against the dark matter. In each case, Feyerabend’s criterion directs us to interpret the experimental or observational results as an indirect refutation of the standard cosmological model in favor of Milgrom’s theory. (shrink)